structured operational semantics造句

The language is formally defined using a structured operational semantics in the style invented by Gordon Plotkin.
His research interests further extend in the fields of the structured operational semantics, and IT Portfolio Management.
It's difficult to find structured operational semantics in a sentence. 用structured operational semantics造句挺难的